Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 278 | 228 | 194 | 244 | 217 | 6024 | 0 | 0 | 14816 |
N.S. |
1 | 0.82 | 0.70 | 0.88 | 0.78 | 21.67 | 0.00 | 0.00 | 53.29 |
time (sec) |
N/A | 0.814 | 0.367 | 0.055 | 0.326 | 4.612 | 0.000 | 0.000 | 13.411 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 297 | 254 | 153 | 265 | 235 | 6136 | 0 | 0 | 15318 |
N.S. |
1 | 0.86 | 0.52 | 0.89 | 0.79 | 20.66 | 0.00 | 0.00 | 51.58 |
time (sec) |
N/A | 1.079 | 0.631 | 0.049 | 0.324 | 12.056 | 0.000 | 0.000 | 13.622 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F(-1) | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 325 | 289 | 174 | 286 | 256 | 6284 | 0 | 0 | 16111 |
N.S. |
1 | 0.89 | 0.54 | 0.88 | 0.79 | 19.34 | 0.00 | 0.00 | 49.57 |
time (sec) |
N/A | 1.450 | 3.628 | 0.050 | 0.322 | 27.010 | 0.000 | 0.000 | 15.152 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 436 | 379 | 275 | 351 | 377 | 11910 | 0 | 0 | 18313 |
N.S. |
1 | 0.87 | 0.63 | 0.81 | 0.86 | 27.32 | 0.00 | 0.00 | 42.00 |
time (sec) |
N/A | 1.827 | 2.486 | 0.080 | 0.317 | 36.196 | 0.000 | 0.000 | 41.994 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 391 | 335 | 230 | 336 | 354 | 11824 | 0 | 0 | 17579 |
N.S. |
1 | 0.86 | 0.59 | 0.86 | 0.91 | 30.24 | 0.00 | 0.00 | 44.96 |
time (sec) |
N/A | 1.382 | 2.009 | 0.053 | 0.352 | 21.054 | 0.000 | 0.000 | 38.269 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 391 | 334 | 220 | 332 | 341 | 11827 | 0 | 0 | 17089 |
N.S. |
1 | 0.85 | 0.56 | 0.85 | 0.87 | 30.25 | 0.00 | 0.00 | 43.71 |
time (sec) |
N/A | 1.331 | 1.519 | 0.047 | 0.366 | 15.760 | 0.000 | 0.000 | 38.279 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 391 | 335 | 204 | 336 | 356 | 11831 | 0 | 0 | 17494 |
N.S. |
1 | 0.86 | 0.52 | 0.86 | 0.91 | 30.26 | 0.00 | 0.00 | 44.74 |
time (sec) |
N/A | 1.402 | 1.220 | 0.049 | 0.334 | 25.292 | 0.000 | 0.000 | 39.001 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F(-1) | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 439 | 381 | 239 | 352 | 396 | 12008 | 0 | 0 | 22667 |
N.S. |
1 | 0.87 | 0.54 | 0.80 | 0.90 | 27.35 | 0.00 | 0.00 | 51.63 |
time (sec) |
N/A | 1.912 | 2.509 | 0.051 | 0.365 | 39.862 | 0.000 | 0.000 | 29.801 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F(-1) | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 493 | 433 | 287 | 373 | 449 | 12216 | 0 | 0 | 24620 |
N.S. |
1 | 0.88 | 0.58 | 0.76 | 0.91 | 24.78 | 0.00 | 0.00 | 49.94 |
time (sec) |
N/A | 2.502 | 4.194 | 0.058 | 0.345 | 75.099 | 0.000 | 0.000 | 27.533 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | A | A | B | F(-1) | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 600 | 528 | 1351 | 466 | 571 | 17991 | 0 | 0 | 27429 |
N.S. |
1 | 0.88 | 2.25 | 0.78 | 0.95 | 29.98 | 0.00 | 0.00 | 45.72 |
time (sec) |
N/A | 2.745 | 6.450 | 0.156 | 0.366 | 166.932 | 0.000 | 0.000 | 71.273 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F(-1) | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 534 | 466 | 690 | 451 | 551 | 17852 | 0 | 0 | 26614 |
N.S. |
1 | 0.87 | 1.29 | 0.84 | 1.03 | 33.43 | 0.00 | 0.00 | 49.84 |
time (sec) |
N/A | 2.061 | 6.419 | 0.136 | 0.442 | 108.208 | 0.000 | 0.000 | 61.366 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 533 | 462 | 333 | 450 | 538 | 17891 | 0 | 0 | 25944 |
N.S. |
1 | 0.87 | 0.62 | 0.84 | 1.01 | 33.57 | 0.00 | 0.00 | 48.68 |
time (sec) |
N/A | 2.038 | 6.306 | 0.046 | 0.415 | 75.164 | 0.000 | 0.000 | 62.636 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 531 | 464 | 552 | 451 | 537 | 17893 | 0 | 0 | 26133 |
N.S. |
1 | 0.87 | 1.04 | 0.85 | 1.01 | 33.70 | 0.00 | 0.00 | 49.21 |
time (sec) |
N/A | 2.081 | 6.333 | 0.051 | 0.402 | 81.209 | 0.000 | 0.000 | 61.165 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F(-1) | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 534 | 466 | 288 | 452 | 551 | 17859 | 0 | 0 | 26707 |
N.S. |
1 | 0.87 | 0.54 | 0.85 | 1.03 | 33.44 | 0.00 | 0.00 | 50.01 |
time (sec) |
N/A | 2.205 | 4.940 | 0.058 | 0.401 | 118.654 | 0.000 | 0.000 | 63.373 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F(-1) | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 601 | 528 | 585 | 466 | 607 | 18091 | 0 | 0 | 35300 |
N.S. |
1 | 0.88 | 0.97 | 0.78 | 1.01 | 30.10 | 0.00 | 0.00 | 58.74 |
time (sec) |
N/A | 3.013 | 6.346 | 0.060 | 0.360 | 189.650 | 0.000 | 0.000 | 57.044 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | C | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 157 | 89 | 102 | 123 | 184 | 0 | 0 | 16727 |
N.S. |
1 | 1.01 | 0.57 | 0.65 | 0.79 | 1.18 | 0.00 | 0.00 | 107.22 |
time (sec) |
N/A | 0.411 | 0.174 | 0.033 | 0.351 | 0.254 | 0.000 | 0.000 | 13.956 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | C | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 154 | 155 | 139 | 102 | 123 | 167 | 0 | 0 | 16060 |
N.S. |
1 | 1.01 | 0.90 | 0.66 | 0.80 | 1.08 | 0.00 | 0.00 | 104.29 |
time (sec) |
N/A | 0.408 | 0.161 | 0.035 | 0.374 | 0.249 | 0.000 | 0.000 | 13.829 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | C | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 138 | 138 | 60 | 90 | 109 | 164 | 0 | 0 | 15753 |
N.S. |
1 | 1.00 | 0.43 | 0.65 | 0.79 | 1.19 | 0.00 | 0.00 | 114.15 |
time (sec) |
N/A | 0.338 | 0.056 | 0.060 | 0.356 | 0.249 | 0.000 | 0.000 | 13.378 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | C | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 138 | 138 | 110 | 90 | 112 | 148 | 0 | 0 | 15437 |
N.S. |
1 | 1.00 | 0.80 | 0.65 | 0.81 | 1.07 | 0.00 | 0.00 | 111.86 |
time (sec) |
N/A | 0.339 | 0.038 | 0.057 | 0.339 | 0.249 | 0.000 | 0.000 | 13.812 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | C | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 154 | 155 | 78 | 102 | 122 | 215 | 0 | 0 | 15569 |
N.S. |
1 | 1.01 | 0.51 | 0.66 | 0.79 | 1.40 | 0.00 | 0.00 | 101.10 |
time (sec) |
N/A | 0.408 | 0.145 | 0.038 | 0.332 | 0.252 | 0.000 | 0.000 | 13.340 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | A | C | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 156 | 157 | 82 | 102 | 124 | 208 | 0 | 0 | 16545 |
N.S. |
1 | 1.01 | 0.53 | 0.65 | 0.79 | 1.33 | 0.00 | 0.00 | 106.06 |
time (sec) |
N/A | 0.412 | 0.148 | 0.032 | 0.342 | 0.257 | 0.000 | 0.000 | 13.566 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 256 | 228 | 156 | 242 | 188 | 3238 | 0 | 0 | 18514 |
N.S. |
1 | 0.89 | 0.61 | 0.95 | 0.73 | 12.65 | 0.00 | 0.00 | 72.32 |
time (sec) |
N/A | 1.015 | 0.171 | 0.051 | 0.337 | 0.340 | 0.000 | 0.000 | 42.437 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 237 | 203 | 228 | 226 | 173 | 3156 | 0 | 0 | 16878 |
N.S. |
1 | 0.86 | 0.96 | 0.95 | 0.73 | 13.32 | 0.00 | 0.00 | 71.22 |
time (sec) |
N/A | 0.759 | 0.181 | 0.049 | 0.326 | 0.324 | 0.000 | 0.000 | 39.454 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 237 | 203 | 205 | 225 | 172 | 3160 | 0 | 0 | 17323 |
N.S. |
1 | 0.86 | 0.86 | 0.95 | 0.73 | 13.33 | 0.00 | 0.00 | 73.09 |
time (sec) |
N/A | 0.734 | 0.095 | 0.048 | 0.326 | 0.322 | 0.000 | 0.000 | 37.529 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 237 | 203 | 229 | 226 | 172 | 3156 | 0 | 0 | 16598 |
N.S. |
1 | 0.86 | 0.97 | 0.95 | 0.73 | 13.32 | 0.00 | 0.00 | 70.03 |
time (sec) |
N/A | 0.745 | 0.122 | 0.044 | 0.394 | 0.335 | 0.000 | 0.000 | 37.134 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | A | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 256 | 228 | 132 | 242 | 188 | 3314 | 0 | 0 | 22906 |
N.S. |
1 | 0.89 | 0.52 | 0.95 | 0.73 | 12.95 | 0.00 | 0.00 | 89.48 |
time (sec) |
N/A | 0.977 | 0.516 | 0.040 | 0.333 | 0.343 | 0.000 | 0.000 | 28.978 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 264 | 265 | 304 | 2183234 | 0 | 16118 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.15 | 8269.83 | 0.00 | 61.05 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.415 | 3.732 | 1.761 | 0.000 | 3.479 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F | B |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 201 | 199 | 239 | 2180698 | 0 | 15912 | 0 | 0 | 61200 |
N.S. |
1 | 0.99 | 1.19 | 10849.24 | 0.00 | 79.16 | 0.00 | 0.00 | 304.48 |
time (sec) |
N/A | 0.952 | 2.975 | 1.429 | 0.000 | 3.371 | 0.000 | 0.000 | 132.153 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 169 | 179 | 204 | 2178123 | 0 | 15940 | 0 | 0 | 1141 |
N.S. |
1 | 1.06 | 1.21 | 12888.30 | 0.00 | 94.32 | 0.00 | 0.00 | 6.75 |
time (sec) |
N/A | 1.183 | 1.103 | 2.285 | 0.000 | 2.376 | 0.000 | 0.000 | 20.288 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 154 | 170 | 169 | 2176213 | 0 | 7865 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 1.10 | 14131.25 | 0.00 | 51.07 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.851 | 1.118 | 1.061 | 0.000 | 1.410 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 199 | 222 | 194 | 2181119 | 0 | 7946 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 0.97 | 10960.40 | 0.00 | 39.93 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.193 | 1.745 | 0.827 | 0.000 | 1.453 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 250 | 289 | 226 | 2183172 | 0 | 7964 | 0 | 0 | 0 |
N.S. |
1 | 1.16 | 0.90 | 8732.69 | 0.00 | 31.86 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.760 | 3.432 | 1.404 | 0.000 | 1.420 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 314 | 355 | 265 | 2185304 | 0 | 8039 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 0.84 | 6959.57 | 0.00 | 25.60 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.272 | 4.425 | 1.618 | 0.000 | 1.418 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 323 | 326 | 347 | 2403184 | 0 | 24426 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.07 | 7440.20 | 0.00 | 75.62 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.965 | 4.650 | 0.898 | 0.000 | 5.198 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 268 | 263 | 290 | 2400957 | 0 | 24274 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 1.08 | 8958.79 | 0.00 | 90.57 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.548 | 2.699 | 0.896 | 0.000 | 4.736 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 204 | 200 | 243 | 2396039 | 0 | 24220 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 1.19 | 11745.29 | 0.00 | 118.73 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.100 | 1.111 | 0.954 | 0.000 | 4.766 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 209 | 200 | 416 | 2394883 | 0 | 24297 | 0 | 0 | 0 |
N.S. |
1 | 0.96 | 1.99 | 11458.77 | 0.00 | 116.25 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.046 | 4.457 | 0.908 | 0.000 | 4.515 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 196 | 225 | 238 | 2398858 | 0 | 12024 | 0 | 0 | 0 |
N.S. |
1 | 1.15 | 1.21 | 12239.07 | 0.00 | 61.35 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.337 | 0.998 | 0.911 | 0.000 | 2.464 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 259 | 289 | 286 | 2400946 | 0 | 12093 | 0 | 0 | 0 |
N.S. |
1 | 1.12 | 1.10 | 9270.06 | 0.00 | 46.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.837 | 3.341 | 0.879 | 0.000 | 2.318 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 311 | 352 | 346 | 2403086 | 0 | 12128 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 1.11 | 7726.96 | 0.00 | 39.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.371 | 5.664 | 0.977 | 0.000 | 2.464 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | B | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 382 | 430 | 474 | 2403057 | 0 | 12202 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 1.24 | 6290.73 | 0.00 | 31.94 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.981 | 6.785 | 0.900 | 0.000 | 2.431 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 397 | 400 | 411 | 2659561 | 0 | 35458 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.04 | 6699.15 | 0.00 | 89.31 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.564 | 4.984 | 1.062 | 0.000 | 9.414 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 316 | 325 | 345 | 2657119 | 0 | 35244 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 1.09 | 8408.60 | 0.00 | 111.53 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.041 | 4.832 | 1.038 | 0.000 | 7.575 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 260 | 257 | 291 | 2654895 | 0 | 35212 | 0 | 0 | 0 |
N.S. |
1 | 0.99 | 1.12 | 10211.13 | 0.00 | 135.43 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.542 | 2.863 | 1.033 | 0.000 | 7.660 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 241 | 237 | 358 | 2653772 | 0 | 35230 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 1.49 | 11011.50 | 0.00 | 146.18 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.507 | 2.707 | 1.078 | 0.000 | 7.595 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 240 | 241 | 417 | 2654078 | 0 | 35349 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.74 | 11058.66 | 0.00 | 147.29 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.427 | 4.473 | 1.023 | 0.000 | 7.332 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | B | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 247 | 283 | 321 | 2652302 | 0 | 18802 | 0 | 0 | 0 |
N.S. |
1 | 1.15 | 1.30 | 10738.06 | 0.00 | 76.12 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.885 | 2.288 | 1.021 | 0.000 | 5.056 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 309 | 350 | 381 | 2654465 | 0 | 18856 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 1.23 | 8590.50 | 0.00 | 61.02 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.387 | 6.805 | 1.055 | 0.000 | 4.852 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | B | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 378 | 428 | 543 | 2659448 | 0 | 18922 | 0 | 0 | 0 |
N.S. |
1 | 1.13 | 1.44 | 7035.58 | 0.00 | 50.06 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.004 | 7.155 | 1.047 | 0.000 | 4.896 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | B | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 460 | 509 | 632 | 2660696 | 0 | 18981 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 1.37 | 5784.12 | 0.00 | 41.26 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.683 | 7.313 | 5.880 | 0.000 | 4.906 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 253 | 255 | 356 | 1491744 | 0 | 16341 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 1.41 | 5896.22 | 0.00 | 64.59 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.569 | 4.856 | 5.865 | 0.000 | 2.542 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 206 | 207 | 245 | 1889462 | 0 | 20328 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.19 | 9172.15 | 0.00 | 98.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.950 | 2.010 | 0.951 | 0.000 | 4.848 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 168 | 168 | 205 | 1885950 | 0 | 20234 | 0 | 0 | 30600 |
N.S. |
1 | 1.00 | 1.22 | 11225.89 | 0.00 | 120.44 | 0.00 | 0.00 | 182.14 |
time (sec) |
N/A | 1.094 | 1.404 | 0.951 | 0.000 | 4.151 | 0.000 | 0.000 | 103.958 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | B |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 123 | 123 | 137 | 1878820 | 0 | 9913 | 0 | 0 | 8223 |
N.S. |
1 | 1.00 | 1.11 | 15274.96 | 0.00 | 80.59 | 0.00 | 0.00 | 66.85 |
time (sec) |
N/A | 0.601 | 0.261 | 0.921 | 0.000 | 2.976 | 0.000 | 0.000 | 59.965 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 159 | 166 | 172 | 1886236 | 0 | 10036 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 1.08 | 11863.12 | 0.00 | 63.12 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.832 | 0.553 | 0.920 | 0.000 | 2.982 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 203 | 219 | 195 | 1888895 | 0 | 10067 | 0 | 0 | 0 |
N.S. |
1 | 1.08 | 0.96 | 9304.90 | 0.00 | 49.59 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.148 | 2.318 | 0.893 | 0.000 | 3.625 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 256 | 282 | 227 | 1890924 | 0 | 10125 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 0.89 | 7386.42 | 0.00 | 39.55 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.674 | 5.785 | 0.941 | 0.000 | 3.061 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 219 | 253 | 341 | 1560668 | 0 | 37564 | 0 | 0 | 0 |
N.S. |
1 | 1.16 | 1.56 | 7126.34 | 0.00 | 171.53 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.141 | 2.034 | 1.549 | 0.000 | 10.950 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 170 | 202 | 239 | 1559497 | 0 | 18532 | 0 | 0 | 0 |
N.S. |
1 | 1.19 | 1.41 | 9173.51 | 0.00 | 109.01 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.970 | 1.698 | 1.434 | 0.000 | 7.014 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 175 | 203 | 202 | 4927 | 0 | 18563 | 0 | 0 | 0 |
N.S. |
1 | 1.16 | 1.15 | 28.15 | 0.00 | 106.07 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.954 | 0.885 | 29.704 | 0.000 | 6.947 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 216 | 258 | 248 | 5198 | 0 | 18689 | 0 | 0 | 0 |
N.S. |
1 | 1.19 | 1.15 | 24.06 | 0.00 | 86.52 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.316 | 2.327 | 3.927 | 0.000 | 7.038 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F(-1) | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 276 | 316 | 299 | 9712 | 0 | 18754 | 0 | 0 | 0 |
N.S. |
1 | 1.14 | 1.08 | 35.19 | 0.00 | 67.95 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.798 | 3.264 | 3.992 | 0.000 | 7.046 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | B | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 282 | 344 | 596 | 2978162 | 0 | 55768 | 0 | 0 | 0 |
N.S. |
1 | 1.22 | 2.11 | 10560.86 | 0.00 | 197.76 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.732 | 6.463 | 2.183 | 0.000 | 22.134 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 244 | 293 | 308 | 2978130 | 0 | 27576 | 0 | 0 | 0 |
N.S. |
1 | 1.20 | 1.26 | 12205.45 | 0.00 | 113.02 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.512 | 3.350 | 5.394 | 0.000 | 14.842 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 244 | 297 | 320 | 2978176 | 0 | 27593 | 0 | 0 | 0 |
N.S. |
1 | 1.22 | 1.31 | 12205.64 | 0.00 | 113.09 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.483 | 3.738 | 2.542 | 0.000 | 14.523 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 247 | 299 | 273 | 2975233 | 0 | 27639 | 0 | 0 | 0 |
N.S. |
1 | 1.21 | 1.11 | 12045.48 | 0.00 | 111.90 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.572 | 2.753 | 3.069 | 0.000 | 14.523 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | B | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 301 | 361 | 326 | 2976756 | 0 | 27749 | 0 | 0 | 0 |
N.S. |
1 | 1.20 | 1.08 | 9889.55 | 0.00 | 92.19 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.986 | 4.033 | 2.102 | 0.000 | 14.454 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | B | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 359 | 424 | 383 | 2982515 | 0 | 27865 | 0 | 0 | 0 |
N.S. |
1 | 1.18 | 1.07 | 8307.84 | 0.00 | 77.62 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.599 | 3.891 | 5.471 | 0.000 | 14.524 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 155 | 148 | 190 | 943434 | 0 | 9186 | 0 | 0 | 0 |
N.S. |
1 | 0.95 | 1.23 | 6086.67 | 0.00 | 59.26 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.431 | 0.837 | 1.307 | 0.000 | 1.046 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 117 | 114 | 124 | 940499 | 0 | 4509 | 0 | 0 | 0 |
N.S. |
1 | 0.97 | 1.06 | 8038.45 | 0.00 | 38.54 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.334 | 0.057 | 0.573 | 0.000 | 0.750 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 111 | 108 | 125 | 940264 | 0 | 4469 | 0 | 0 | 0 |
N.S. |
1 | 0.97 | 1.13 | 8470.85 | 0.00 | 40.26 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.356 | 0.048 | 0.542 | 0.000 | 0.771 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F(-1) | B | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 150 | 149 | 158 | 943929 | 0 | 4608 | 0 | 0 | 0 |
N.S. |
1 | 0.99 | 1.05 | 6292.86 | 0.00 | 30.72 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.455 | 0.421 | 0.576 | 0.000 | 0.761 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | B | F | F | B |
verified |
N/A | No | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 379 | 269 | 263 | 99 | 0 | 5405 | 0 | 0 | 3945 |
N.S. |
1 | 0.71 | 0.69 | 0.26 | 0.00 | 14.26 | 0.00 | 0.00 | 10.41 |
time (sec) |
N/A | 0.702 | 1.074 | 0.560 | 0.000 | 1.890 | 0.000 | 0.000 | 25.427 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | B | F | F | B |
verified |
N/A | No | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 377 | 267 | 347 | 97 | 0 | 2785 | 0 | 0 | 2537 |
N.S. |
1 | 0.71 | 0.92 | 0.26 | 0.00 | 7.39 | 0.00 | 0.00 | 6.73 |
time (sec) |
N/A | 0.725 | 0.987 | 0.614 | 0.000 | 0.373 | 0.000 | 0.000 | 20.451 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | B | F | A | B |
verified |
N/A | No | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 357 | 233 | 227 | 72 | 0 | 4121 | 0 | 147 | 3228 |
N.S. |
1 | 0.65 | 0.64 | 0.20 | 0.00 | 11.54 | 0.00 | 0.41 | 9.04 |
time (sec) |
N/A | 0.544 | 0.459 | 0.426 | 0.000 | 0.441 | 0.000 | 3.432 | 20.960 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | B | F | F | B |
verified |
N/A | No | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 357 | 233 | 305 | 69 | 0 | 6073 | 0 | 0 | 4562 |
N.S. |
1 | 0.65 | 0.85 | 0.19 | 0.00 | 17.01 | 0.00 | 0.00 | 12.78 |
time (sec) |
N/A | 0.567 | 0.273 | 0.401 | 0.000 | 1.345 | 0.000 | 0.000 | 23.039 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | B | F | B | B |
verified |
N/A | No | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 148 | 105 | 104 | 42 | 0 | 278 | 0 | 795 | 2982 |
N.S. |
1 | 0.71 | 0.70 | 0.28 | 0.00 | 1.88 | 0.00 | 5.37 | 20.15 |
time (sec) |
N/A | 0.298 | 0.671 | 0.358 | 0.000 | 0.253 | 0.000 | 0.662 | 22.944 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F | B | F | F | B |
verified |
N/A | No | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 299 | 235 | 330 | 72 | 0 | 443 | 0 | 0 | 4308 |
N.S. |
1 | 0.79 | 1.10 | 0.24 | 0.00 | 1.48 | 0.00 | 0.00 | 14.41 |
time (sec) |
N/A | 0.585 | 0.401 | 0.457 | 0.000 | 0.249 | 0.000 | 0.000 | 23.058 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 403 | 416 | 355 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 0.88 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.435 | 4.833 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 267 | 283 | 232 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.06 | 0.87 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.431 | 2.516 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 194 | 198 | 155 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.02 | 0.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.850 | 0.744 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 127 | 127 | 108 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.85 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.459 | 0.500 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 185 | 178 | 144 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.96 | 0.78 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.834 | 1.012 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 282 | 292 | 239 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 0.85 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.420 | 3.328 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 438 | 464 | 530 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.06 | 1.21 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.456 | 6.408 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 659 | 704 | 1425 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 2.16 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 4.055 | 6.475 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | F | F | F | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 193 | 193 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.666 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | F | F | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 189 | 189 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.626 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 187 | 187 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.605 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | F | F | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 187 | 187 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.619 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | F | F | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 193 | 193 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.640 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | F | F | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 193 | 193 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.640 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 183 | 183 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.531 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 387 | 412 | 384 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.06 | 0.99 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.972 | 6.100 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 291 | 319 | 281 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 0.97 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.285 | 2.612 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 219 | 234 | 169 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 0.77 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.832 | 1.496 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 168 | 174 | 125 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 0.74 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.531 | 0.286 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 143 | 145 | 120 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.01 | 0.84 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.385 | 0.204 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 190 | 196 | 169 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.03 | 0.89 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.784 | 0.432 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 228 | 237 | 202 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.04 | 0.89 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.071 | 0.463 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |